Llistar Títols
S'han trobat 12 ítems
Llistant ítems des de 0 a 12:
Format | Data | Títol | Autor |
---|
Format | Data | Títol | Autor |
|
|
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
5 juny 2018 |
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2011 |
Anti-Unification for Unranked Terms and Hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
febrer 2014 |
Anti-unification for unranked terms and hedges |
Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
5 juny 2018 |
Higher-Order Pattern Anti-Unification in Linear Time |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
1 febrer 2017 |
Higher-Order Pattern Anti-Unification in Linear Time |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2013 |
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
5 juny 2018 |
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|